perm filename NONMON[W81,JMC] blob sn#559219 filedate 1981-01-28 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Notes for Logic Seminar Lecture on Non-Monotonic Reasoning, 1981 Feb 2
C00003 ENDMK
CāŠ—;
Notes for Logic Seminar Lecture on Non-Monotonic Reasoning, 1981 Feb 2

1. Why non-monotonic reasoning

2. Circumscription

3. Mathematical results

4. Davis results

5. McDermott-Doyle